https://observador.cr/viene-feriado-del-1-de-mayo-se-traslada-se-paga-doble/
Viene feriado del 1° de mayo: ¿se traslada? ¿se paga doble?